離散対数 (Discrete logarithm)